201. Logic for computer science
المؤلف: / Steve Reeves, Michael Clarke,Reeves
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
R34
1990
202. Logic for computer science and artificial intelligence
المؤلف: Ricardo Caferra
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Computer logic
رده :
QA76
.
9
.
L63
C344
2011
203. Logic for computer science and artificial intelligence
المؤلف: Ricardo Caferra
المکتبة: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Computer logic,Artificial intelligence
رده :
QA
76
,.
9
.
C22L6
2011
204. Logic for computer science:foundations of automatic theorem
المؤلف: GALLIER,JEAN H
المکتبة: (طهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
G35
205. Logic for computer science : foundations of automatic theorem proving
المؤلف: Gallier, Jean H.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
206. Logic for computer science : foundations of automatic theorem proving
المؤلف: Gallier, Jean H
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
1986
207. Logic for computer scientists
المؤلف: Schoning, Uwe, 5591-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
208. Logic for computer scientists
پدیدآورنده : Schoning, Uw
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
209. Logic for computer scientists
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming. ; Logic, Symbolic and mathematical. ;
210. Logic for computer scientists /
المؤلف: Uwe Schöning.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
رده :
QA9
.
S363
1989
211. Logic for computer scientists
المؤلف: / Uwe Schoening
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع:
212. Logic for mathematics and computer science
پدیدآورنده : Stanley N. Burris
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
213. Logic from computer science
المؤلف: Y.N. Moschovakis, editor
المکتبة: (کرمان)
موضوع: Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
رده :
QA
9
.
A1
,
L64
1991
214. Logic from computer science
المؤلف: Y.N. Moschovakis, editor
المکتبة: (کرمان)
موضوع: Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
رده :
QA
9
.
A1
,
L64
1991
215. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989
المؤلف: Yiannis Moschovakis, editor
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
9
.
A1W65
1989
216. Logic from computer science: proceedings of a workshop held November 13-17, 1989
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
رده :
QA
9
.
A1
.
L64
1991
217. Logic from computer science : proceedings of a workshop held November 13-17, 1989
المؤلف: Y.N. Moschovakis, editor
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
1
.
M3
v
.
21
218. Logic in computer science: modelling and reasoning about systems
المؤلف: Huth, Michael
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer logic,، Logic programming )Computer science(
رده :
QA
76
.
9
.
L63
.
H88
2004
219. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
المؤلف: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
220. Mathematical Logic for Computer Science
المؤلف: / Ari-Mordechai Ben
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
